Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
321	On the Satisfiability of Two-Variable Logic over Data Words Claire David, Leonid Libkin, and Tony Tan School of Informatics, University of Edinburgh Abstract. Data trees and data words have been studied extensively Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-15 16:01:47 Theoretical computer science Model theory Automata theory Regular language Presburger arithmetic Structure Decision problem Mathematics Mathematical logic Formal languages
322	Automated Identification of Cryptographic Primitives in Binary Code with Data Flow Graph Isomorphism Pierre Lestringant AMOSSYS Add to Reading List Source URL: www.amossys.fr Language: English - Date: 2015-05-07 04:40:19 Automata theory Pattern matching Regular expression C Software engineering Computing Computer programming
323	A theoretical formalism for analyzing agent-based models Add to Reading List Source URL: www.casmodeling.com Language: English Multi-agent systems Computing Artificial intelligence Automata theory Agent-based model DEVS Repast NetLogo Macroeconomic model Complex systems theory Scientific modeling Science
324	Finite automata and arithmetic J.-P. Allouche 1 ∗ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2000-08-07 13:52:27 Sequence Thue–Morse sequence Baum–Sweet sequence Rudin–Shapiro sequence Monoid Mathematics Automata theory Automatic sequence
325	Oracle Pushdown Automata for Trees in Prefix Notation Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2010-02-18 04:52:05 Applied mathematics Factor oracle Finite-state machine SC Automata construction Automaton LL parser Nested word Deterministic pushdown automaton Automata theory Theoretical computer science Computer science
326	XXXX, 1–19 © De Gruyter YYYY Subsequences of automatic sequences and uniform distribution Add to Reading List Source URL: www.dmg.tuwien.ac.at Language: English - Date: 2013-08-30 05:41:39 Elementary mathematics Numerical analysis Automata theory Automatic sequence Thue–Morse sequence Subsequence Equidistributed sequence Discrete Fourier transform Sequence Mathematics Mathematical analysis Diophantine approximation
327	CS109B Notes for LectureExpressive Power of Languages There are several dierent schemes we have seen for describing languages: 1. DFA, NFA, RE, for dening \regular sets." Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:06 Computer science Formal grammar Regular expression Regular language Applied mathematics Formal languages Automata theory Theoretical computer science
328	Curriculum Vitæ (abridged) Luke Mathieson BSc BCompSc(Hons1) PGDipHEd MHEd PhD(Dunelm) Personal Details Add to Reading List Source URL: comp.mq.edu.au Language: English - Date: 2013-12-01 23:03:08 Parameterized complexity International Colloquium on Automata Languages and Programming Algorithm Symposium on Theoretical Aspects of Computer Science Michael Fellows Theoretical computer science Applied mathematics Computational complexity theory
329	Multi-Simulation for SmartGrids Inria 1st year, MAIA / Madynes, EDF R&D Julien Vaubourg Vincent Chevrier, Laurent Ciarletta MS4SG Add to Reading List Source URL: julien.vaubourg.com Language: English - Date: 2014-06-05 17:46:40 Simulation Science Scientific modeling Knowledge Applied mathematics Automata theory DEVS European Technology Platform for the Electricity Networks of the Future
330	Tree pattern matching by pushdown automata Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2009-02-16 12:13:46 Pattern matching A ISO 216 Software engineering Notation Automata theory Models of computation Pushdown automaton

UPDATE